Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
Search history
[
x
]
×
Log in to your account
Login:
Password:
Forgot your password?
Refine your search
Availability
Limit to currently available items.
Authors
Doets, Kees
Eijck, J. van
Hein, James L.
Schoning, Uwe
Item types
Books
Series
Progress in computer...
Texts in computing
Topics
Corecursion
Data structures
Fibonacci numbers
Logic programming
Logic, Symbolic and ...
Show more
Your query retrived 3 records.
|
Unhighlight
Highlight
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
1.
Logic for computer scientists
by
Schoning, Uwe.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Boston: Birkhauser, 1989
Availability:
Items available for loan:
[
Call number:
511.3 SCH] (1).
Place hold
2.
Discrete structures, logic, and computability
by
Hein, James L.
Edition:
3rd ed.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Sudbury: Jones & Bartlett, 2010
Availability:
Items available for loan:
[
Call number:
004.0151 HEI] (1).
Place hold
3.
Haskell road to logic, maths and programming
by
Doets, Kees
|
Eijck, J. van.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
London: King's College Publishing, 2004
Availability:
Items available for loan:
[
Call number:
005.115 DOE] (1).
Place hold
Powered by
Koha